Specification-By-Demonstration: The ViCCS Interface
نویسندگان
چکیده
Our goal is to make combinatorial problem-solving technology available to users who have no formal training in AI or OR. To achieve this aim, we have built a system, VICSS (Visual Constraint Specification System) that enables users to specify problems graphically. To simplify the specification process, VICSS relles heavily on progra~nming-by-demonstration (PBD) techniques. We believe, however, that the key to making PBD succeed for our application is to constrain the generalization process so that the system makes only "simple", easy-to-understand generalizations. In this paper we describe several design decisions that enable us to achieve this end, and illustrate them in the context of an extended example.
منابع مشابه
Speciication-by-demonstration: the Viccs Interface
A goal of the Multi-tac project is to make combinatorial problem-solving technology available to users who have no formal training in AI or OR. To achieve this aim, we have built a system , ViCSS (Visual Constraint Speciication System) that enables users to specify problems graphically. To simplify the speciication process, ViCSS relies heavily on programming-by-demonstration techniques. We bel...
متن کاملDemonstration of JML Tools
The Java Modeling language (JML) is a behavioral interface specification language tailored to Java. This demonstration presents some of the basic tools for generating and browsing documentation, runtime assertion checking, and unit testing.
متن کاملCharacterization of Ca2+ channels involved in ET-1-induced transactivation of EGF receptors.
The purpose of this study was to demonstrate the involvement of Ca(2+) influx through voltage-independent Ca(2+) channels (VICCs) in endothelin-1 (ET-1)-induced transactivation of epidermal growth factor receptor protein tyrosine kinase (EGFR PTK) using the Ca(2+) channel blockers LOE-908 and SK&F-96365 in rabbit internal carotid artery vascular smooth muscle cells. ET-1-induced EGFR PTK transa...
متن کاملToward More Understandable User Interface Specifications
Many different methods have been used to specify user interfaces: algebraic specification, grammars, task description languages, transition diagrams with and without extensions, rule-based systems, and by demonstration. However, none of these methods has been widely adopted. Current user interfaces are still built by writing a program, perhaps with the aid of a UIMS. There are two principal rea...
متن کاملProposing A Distributed Model For Intrusion Detection In Mobile Ad-Hoc Network Using Neural Fuzzy Interface
Security term in mobile ad hoc networks has several aspects because of the special specification of these networks. In this paper a distributed architecture was proposed in which each node performed intrusion detection based on its own and its neighbors’ data. Fuzzy-neural interface was used that is the composition of learning ability of neural network and fuzzy Ratiocination of fuzzy system as...
متن کامل